<HTML>
<BODY BGCOLOR="white">
<PRE>
<FONT color="green">001</FONT>    // Copyright 2008 Waterken Inc. under the terms of the MIT X license<a name="line.1"></a>
<FONT color="green">002</FONT>    // found at http://www.opensource.org/licenses/mit-license.html<a name="line.2"></a>
<FONT color="green">003</FONT>    package org.waterken.syntax.json;<a name="line.3"></a>
<FONT color="green">004</FONT>    <a name="line.4"></a>
<FONT color="green">005</FONT>    import java.io.IOException;<a name="line.5"></a>
<FONT color="green">006</FONT>    import java.io.Writer;<a name="line.6"></a>
<FONT color="green">007</FONT>    <a name="line.7"></a>
<FONT color="green">008</FONT>    /**<a name="line.8"></a>
<FONT color="green">009</FONT>     * A SAX-like API for generating JSON text.<a name="line.9"></a>
<FONT color="green">010</FONT>     * &lt;p&gt;<a name="line.10"></a>
<FONT color="green">011</FONT>     * A client can only output a syntactically correct JSON text, or leave the<a name="line.11"></a>
<FONT color="green">012</FONT>     * {@link JSONWriter} in a {@linkplain #isWritten detectable} error state. The<a name="line.12"></a>
<FONT color="green">013</FONT>     * implementation does &lt;em&gt;not&lt;/em&gt; enforce the constraint that names within an<a name="line.13"></a>
<FONT color="green">014</FONT>     * object SHOULD be unique.<a name="line.14"></a>
<FONT color="green">015</FONT>     * &lt;/p&gt;<a name="line.15"></a>
<FONT color="green">016</FONT>     * &lt;p&gt;For example, to output the JSON text:&lt;/p&gt;<a name="line.16"></a>
<FONT color="green">017</FONT>     * &lt;pre&gt;<a name="line.17"></a>
<FONT color="green">018</FONT>     * {<a name="line.18"></a>
<FONT color="green">019</FONT>     *   "title" : "I Can Has Cheezburger?",<a name="line.19"></a>
<FONT color="green">020</FONT>     *   "src" : { "@" : "http://www.example.com/image/481989943" },<a name="line.20"></a>
<FONT color="green">021</FONT>     *   "height" : 125,<a name="line.21"></a>
<FONT color="green">022</FONT>     *   "width" : 100,<a name="line.22"></a>
<FONT color="green">023</FONT>     *   "tags" : [ "lolcat", "food" ],<a name="line.23"></a>
<FONT color="green">024</FONT>     *   "score" : 9.5<a name="line.24"></a>
<FONT color="green">025</FONT>     * }<a name="line.25"></a>
<FONT color="green">026</FONT>     * &lt;/pre&gt;<a name="line.26"></a>
<FONT color="green">027</FONT>     * &lt;p&gt;, write code:&lt;/p&gt;<a name="line.27"></a>
<FONT color="green">028</FONT>     * &lt;pre&gt;<a name="line.28"></a>
<FONT color="green">029</FONT>     * final Writer text = &amp;hellip;<a name="line.29"></a>
<FONT color="green">030</FONT>     * final JSONWriter top = JSONWriter.make(text);<a name="line.30"></a>
<FONT color="green">031</FONT>     * final JSONWriter.ObjectWriter o = top.startObject();<a name="line.31"></a>
<FONT color="green">032</FONT>     * o.startMember("title").writeString("I Can Has Cheezburger?");<a name="line.32"></a>
<FONT color="green">033</FONT>     * o.startMember("src").writeLink("http://www.example.com/image/481989943");<a name="line.33"></a>
<FONT color="green">034</FONT>     * o.startMember("height").writeInt(125);<a name="line.34"></a>
<FONT color="green">035</FONT>     * o.startMember("width").writeInt(100);<a name="line.35"></a>
<FONT color="green">036</FONT>     * final JSONWriter.ArrayWriter tags = o.startMember("tags").startArray();<a name="line.36"></a>
<FONT color="green">037</FONT>     * tags.startElement().writeString("lolcat");<a name="line.37"></a>
<FONT color="green">038</FONT>     * tags.startElement().writeString("food");<a name="line.38"></a>
<FONT color="green">039</FONT>     * tags.finish();<a name="line.39"></a>
<FONT color="green">040</FONT>     * o.startMember("score").writeDouble(9.5);<a name="line.40"></a>
<FONT color="green">041</FONT>     * o.finish();<a name="line.41"></a>
<FONT color="green">042</FONT>     * if (!top.isWritten()) { throw new NullPointerException(); }<a name="line.42"></a>
<FONT color="green">043</FONT>     * text.flush();<a name="line.43"></a>
<FONT color="green">044</FONT>     * text.close();<a name="line.44"></a>
<FONT color="green">045</FONT>     * &lt;/pre&gt;<a name="line.45"></a>
<FONT color="green">046</FONT>     * &lt;p&gt;<a name="line.46"></a>
<FONT color="green">047</FONT>     * An invalid sequence of calls to this API will cause a<a name="line.47"></a>
<FONT color="green">048</FONT>     * {@link NullPointerException} to be thrown. For example, calling<a name="line.48"></a>
<FONT color="green">049</FONT>     * writeString() twice in succession will throw a {@link NullPointerException}.<a name="line.49"></a>
<FONT color="green">050</FONT>     * &lt;/p&gt;<a name="line.50"></a>
<FONT color="green">051</FONT>     */<a name="line.51"></a>
<FONT color="green">052</FONT>    public final class<a name="line.52"></a>
<FONT color="green">053</FONT>    JSONWriter {<a name="line.53"></a>
<FONT color="green">054</FONT>        static private final String newLine = "\r\n";<a name="line.54"></a>
<FONT color="green">055</FONT>        static private final String tab = "  ";<a name="line.55"></a>
<FONT color="green">056</FONT>    <a name="line.56"></a>
<FONT color="green">057</FONT>        static private final class<a name="line.57"></a>
<FONT color="green">058</FONT>        Prize&lt;T&gt; {<a name="line.58"></a>
<FONT color="green">059</FONT>            private T value;<a name="line.59"></a>
<FONT color="green">060</FONT>    <a name="line.60"></a>
<FONT color="green">061</FONT>            protected<a name="line.61"></a>
<FONT color="green">062</FONT>            Prize(final T value) {<a name="line.62"></a>
<FONT color="green">063</FONT>                this.value = value;<a name="line.63"></a>
<FONT color="green">064</FONT>            }<a name="line.64"></a>
<FONT color="green">065</FONT>    <a name="line.65"></a>
<FONT color="green">066</FONT>            protected T<a name="line.66"></a>
<FONT color="green">067</FONT>            claim() {<a name="line.67"></a>
<FONT color="green">068</FONT>                final T r = value;<a name="line.68"></a>
<FONT color="green">069</FONT>                value = null;<a name="line.69"></a>
<FONT color="green">070</FONT>                return r;<a name="line.70"></a>
<FONT color="green">071</FONT>            }<a name="line.71"></a>
<FONT color="green">072</FONT>        }<a name="line.72"></a>
<FONT color="green">073</FONT>    <a name="line.73"></a>
<FONT color="green">074</FONT>        static private final class<a name="line.74"></a>
<FONT color="green">075</FONT>        Milestone {<a name="line.75"></a>
<FONT color="green">076</FONT>            private boolean marked;<a name="line.76"></a>
<FONT color="green">077</FONT>    <a name="line.77"></a>
<FONT color="green">078</FONT>            protected<a name="line.78"></a>
<FONT color="green">079</FONT>            Milestone(final boolean marked) {<a name="line.79"></a>
<FONT color="green">080</FONT>                this.marked = marked;<a name="line.80"></a>
<FONT color="green">081</FONT>            }<a name="line.81"></a>
<FONT color="green">082</FONT>    <a name="line.82"></a>
<FONT color="green">083</FONT>            protected boolean<a name="line.83"></a>
<FONT color="green">084</FONT>            is() { return marked; }<a name="line.84"></a>
<FONT color="green">085</FONT>    <a name="line.85"></a>
<FONT color="green">086</FONT>            protected void<a name="line.86"></a>
<FONT color="green">087</FONT>            mark() { marked = true; }<a name="line.87"></a>
<FONT color="green">088</FONT>        }<a name="line.88"></a>
<FONT color="green">089</FONT>    <a name="line.89"></a>
<FONT color="green">090</FONT>        protected final boolean top;        // Is this the top level JSON container?<a name="line.90"></a>
<FONT color="green">091</FONT>        protected final String indent;      // indentation for this JSON value<a name="line.91"></a>
<FONT color="green">092</FONT>        private final Prize&lt;Writer&gt; output; // claimed by 1st called output method<a name="line.92"></a>
<FONT color="green">093</FONT>        protected final Milestone written;  // marked after output method is done  <a name="line.93"></a>
<FONT color="green">094</FONT>    <a name="line.94"></a>
<FONT color="green">095</FONT>        protected<a name="line.95"></a>
<FONT color="green">096</FONT>        JSONWriter(final boolean top, final String indent, final Writer out) {<a name="line.96"></a>
<FONT color="green">097</FONT>            this.top = top;<a name="line.97"></a>
<FONT color="green">098</FONT>            this.indent = indent;<a name="line.98"></a>
<FONT color="green">099</FONT>            output = new Prize&lt;Writer&gt;(out);<a name="line.99"></a>
<FONT color="green">100</FONT>            written = new Milestone(null == out);<a name="line.100"></a>
<FONT color="green">101</FONT>        }<a name="line.101"></a>
<FONT color="green">102</FONT>        <a name="line.102"></a>
<FONT color="green">103</FONT>        /**<a name="line.103"></a>
<FONT color="green">104</FONT>         * Constructs a JSON writer.<a name="line.104"></a>
<FONT color="green">105</FONT>         * @param out   UTF-8 output stream<a name="line.105"></a>
<FONT color="green">106</FONT>         */<a name="line.106"></a>
<FONT color="green">107</FONT>        static public JSONWriter<a name="line.107"></a>
<FONT color="green">108</FONT>        make(final Writer out) { return new JSONWriter(true, "", out); }<a name="line.108"></a>
<FONT color="green">109</FONT>    <a name="line.109"></a>
<FONT color="green">110</FONT>        /**<a name="line.110"></a>
<FONT color="green">111</FONT>         * @return {@code true} if a single JSON value was successfully written,<a name="line.111"></a>
<FONT color="green">112</FONT>         *         else {@code false}<a name="line.112"></a>
<FONT color="green">113</FONT>         */<a name="line.113"></a>
<FONT color="green">114</FONT>        public boolean<a name="line.114"></a>
<FONT color="green">115</FONT>        isWritten() { return written.is(); }<a name="line.115"></a>
<FONT color="green">116</FONT>    <a name="line.116"></a>
<FONT color="green">117</FONT>        public ObjectWriter<a name="line.117"></a>
<FONT color="green">118</FONT>        startObject() throws IOException {<a name="line.118"></a>
<FONT color="green">119</FONT>            final Writer out = output.claim();<a name="line.119"></a>
<FONT color="green">120</FONT>            out.write('{');<a name="line.120"></a>
<FONT color="green">121</FONT>            return new ObjectWriter(out);<a name="line.121"></a>
<FONT color="green">122</FONT>        }<a name="line.122"></a>
<FONT color="green">123</FONT>    <a name="line.123"></a>
<FONT color="green">124</FONT>        /**<a name="line.124"></a>
<FONT color="green">125</FONT>         * A JSON &lt;em&gt;object&lt;/em&gt; writer.<a name="line.125"></a>
<FONT color="green">126</FONT>         */<a name="line.126"></a>
<FONT color="green">127</FONT>        public final class<a name="line.127"></a>
<FONT color="green">128</FONT>        ObjectWriter {<a name="line.128"></a>
<FONT color="green">129</FONT>            static private final String comma = "," + newLine;<a name="line.129"></a>
<FONT color="green">130</FONT>    <a name="line.130"></a>
<FONT color="green">131</FONT>            private final String inset;         // indentation for each member<a name="line.131"></a>
<FONT color="green">132</FONT>            private final Writer out;<a name="line.132"></a>
<FONT color="green">133</FONT>            private       String prefix;        // current member separator prefix<a name="line.133"></a>
<FONT color="green">134</FONT>            private       JSONWriter member;    // most recent member started, or<a name="line.134"></a>
<FONT color="green">135</FONT>                                                // null if object is finished<a name="line.135"></a>
<FONT color="green">136</FONT>    <a name="line.136"></a>
<FONT color="green">137</FONT>            protected<a name="line.137"></a>
<FONT color="green">138</FONT>            ObjectWriter(final Writer out) {<a name="line.138"></a>
<FONT color="green">139</FONT>                inset = indent + tab;<a name="line.139"></a>
<FONT color="green">140</FONT>                this.out = out;<a name="line.140"></a>
<FONT color="green">141</FONT>                prefix = newLine;<a name="line.141"></a>
<FONT color="green">142</FONT>                member = new JSONWriter(false, inset, null);<a name="line.142"></a>
<FONT color="green">143</FONT>            }<a name="line.143"></a>
<FONT color="green">144</FONT>    <a name="line.144"></a>
<FONT color="green">145</FONT>            public void<a name="line.145"></a>
<FONT color="green">146</FONT>            finish() throws IOException {<a name="line.146"></a>
<FONT color="green">147</FONT>                if (!member.isWritten()) { throw new NullPointerException(); }<a name="line.147"></a>
<FONT color="green">148</FONT>    <a name="line.148"></a>
<FONT color="green">149</FONT>                member = null;      // prevent future calls to this object<a name="line.149"></a>
<FONT color="green">150</FONT>                out.write(newLine);<a name="line.150"></a>
<FONT color="green">151</FONT>                out.write(indent);<a name="line.151"></a>
<FONT color="green">152</FONT>                out.write('}');<a name="line.152"></a>
<FONT color="green">153</FONT>                if (top) { out.write(newLine); }<a name="line.153"></a>
<FONT color="green">154</FONT>                written.mark();     // mark the containing value successful<a name="line.154"></a>
<FONT color="green">155</FONT>            }<a name="line.155"></a>
<FONT color="green">156</FONT>    <a name="line.156"></a>
<FONT color="green">157</FONT>            public JSONWriter<a name="line.157"></a>
<FONT color="green">158</FONT>            startMember(final String name) throws IOException {<a name="line.158"></a>
<FONT color="green">159</FONT>                if (!member.isWritten()) { throw new NullPointerException(); }<a name="line.159"></a>
<FONT color="green">160</FONT>    <a name="line.160"></a>
<FONT color="green">161</FONT>                member = new JSONWriter(false, inset, out); // prevent calls until<a name="line.161"></a>
<FONT color="green">162</FONT>                                                            // member is completed<a name="line.162"></a>
<FONT color="green">163</FONT>                out.write(prefix);<a name="line.163"></a>
<FONT color="green">164</FONT>                out.write(inset);<a name="line.164"></a>
<FONT color="green">165</FONT>                writeStringTo(name, out);<a name="line.165"></a>
<FONT color="green">166</FONT>                out.write(" : ");<a name="line.166"></a>
<FONT color="green">167</FONT>                prefix = comma;<a name="line.167"></a>
<FONT color="green">168</FONT>                return member;<a name="line.168"></a>
<FONT color="green">169</FONT>            }<a name="line.169"></a>
<FONT color="green">170</FONT>            <a name="line.170"></a>
<FONT color="green">171</FONT>            /*<a name="line.171"></a>
<FONT color="green">172</FONT>             * Every output method on a JSONWriter begins by deleting the output<a name="line.172"></a>
<FONT color="green">173</FONT>             * stream from that writer. If the created JSON value is an object or an<a name="line.173"></a>
<FONT color="green">174</FONT>             * array, the output stream is handed off to either an ObjectWriter or<a name="line.174"></a>
<FONT color="green">175</FONT>             * an ArrayWriter. These JSON container writers hold onto the output<a name="line.175"></a>
<FONT color="green">176</FONT>             * stream forever, but know whether or not they should be allowed to<a name="line.176"></a>
<FONT color="green">177</FONT>             * write to it. Each container does this by remembering its most<a name="line.177"></a>
<FONT color="green">178</FONT>             * recently created child value and only writing to the output stream if<a name="line.178"></a>
<FONT color="green">179</FONT>             * that child has been written and the container itself has not been<a name="line.179"></a>
<FONT color="green">180</FONT>             * finished. At any time, there may be multiple unfinished containers,<a name="line.180"></a>
<FONT color="green">181</FONT>             * but only one of them could have a written child but not itself be<a name="line.181"></a>
<FONT color="green">182</FONT>             * finished, since a JSON structure is a tree and an unfinished<a name="line.182"></a>
<FONT color="green">183</FONT>             * container value is not marked as written.<a name="line.183"></a>
<FONT color="green">184</FONT>             */<a name="line.184"></a>
<FONT color="green">185</FONT>        }<a name="line.185"></a>
<FONT color="green">186</FONT>    <a name="line.186"></a>
<FONT color="green">187</FONT>        public ArrayWriter<a name="line.187"></a>
<FONT color="green">188</FONT>        startArray() throws IOException {<a name="line.188"></a>
<FONT color="green">189</FONT>            final Writer out = output.claim();<a name="line.189"></a>
<FONT color="green">190</FONT>            out.write('[');<a name="line.190"></a>
<FONT color="green">191</FONT>            return new ArrayWriter(out);<a name="line.191"></a>
<FONT color="green">192</FONT>        }<a name="line.192"></a>
<FONT color="green">193</FONT>    <a name="line.193"></a>
<FONT color="green">194</FONT>        /**<a name="line.194"></a>
<FONT color="green">195</FONT>         * A JSON &lt;em&gt;array&lt;/em&gt; writer.<a name="line.195"></a>
<FONT color="green">196</FONT>         */<a name="line.196"></a>
<FONT color="green">197</FONT>        public final class<a name="line.197"></a>
<FONT color="green">198</FONT>        ArrayWriter {<a name="line.198"></a>
<FONT color="green">199</FONT>            static private final String comma = ", ";<a name="line.199"></a>
<FONT color="green">200</FONT>    <a name="line.200"></a>
<FONT color="green">201</FONT>            private final String inset;         // indentation for each element<a name="line.201"></a>
<FONT color="green">202</FONT>            private final Writer out;<a name="line.202"></a>
<FONT color="green">203</FONT>            private       String prefix;        // current element separator prefix<a name="line.203"></a>
<FONT color="green">204</FONT>            private       JSONWriter element;   // most recent element started, or<a name="line.204"></a>
<FONT color="green">205</FONT>                                                // null if array is finished<a name="line.205"></a>
<FONT color="green">206</FONT>    <a name="line.206"></a>
<FONT color="green">207</FONT>            protected<a name="line.207"></a>
<FONT color="green">208</FONT>            ArrayWriter(final Writer out) {<a name="line.208"></a>
<FONT color="green">209</FONT>                inset = indent + tab;<a name="line.209"></a>
<FONT color="green">210</FONT>                this.out = out;<a name="line.210"></a>
<FONT color="green">211</FONT>                prefix = " ";<a name="line.211"></a>
<FONT color="green">212</FONT>                element = new JSONWriter(false, inset, null);<a name="line.212"></a>
<FONT color="green">213</FONT>            }<a name="line.213"></a>
<FONT color="green">214</FONT>    <a name="line.214"></a>
<FONT color="green">215</FONT>            public void<a name="line.215"></a>
<FONT color="green">216</FONT>            finish() throws IOException {<a name="line.216"></a>
<FONT color="green">217</FONT>                if (!element.isWritten()) { throw new NullPointerException(); }<a name="line.217"></a>
<FONT color="green">218</FONT>    <a name="line.218"></a>
<FONT color="green">219</FONT>                element = null;     // prevent future calls to this object<a name="line.219"></a>
<FONT color="green">220</FONT>                out.write(" ]");<a name="line.220"></a>
<FONT color="green">221</FONT>                if (top) { out.write(newLine); }<a name="line.221"></a>
<FONT color="green">222</FONT>                written.mark();     // mark the containing value successful<a name="line.222"></a>
<FONT color="green">223</FONT>            }<a name="line.223"></a>
<FONT color="green">224</FONT>    <a name="line.224"></a>
<FONT color="green">225</FONT>            public JSONWriter<a name="line.225"></a>
<FONT color="green">226</FONT>            startElement() throws IOException {<a name="line.226"></a>
<FONT color="green">227</FONT>                if (!element.isWritten()) { throw new NullPointerException(); }<a name="line.227"></a>
<FONT color="green">228</FONT>    <a name="line.228"></a>
<FONT color="green">229</FONT>                element = new JSONWriter(false, inset, out); // prevent calls until<a name="line.229"></a>
<FONT color="green">230</FONT>                                                             // element is completed<a name="line.230"></a>
<FONT color="green">231</FONT>                out.write(prefix);<a name="line.231"></a>
<FONT color="green">232</FONT>                prefix = comma;<a name="line.232"></a>
<FONT color="green">233</FONT>                return element;<a name="line.233"></a>
<FONT color="green">234</FONT>            }<a name="line.234"></a>
<FONT color="green">235</FONT>        }<a name="line.235"></a>
<FONT color="green">236</FONT>    <a name="line.236"></a>
<FONT color="green">237</FONT>        public void<a name="line.237"></a>
<FONT color="green">238</FONT>        writeLink(final String URL) throws IOException {<a name="line.238"></a>
<FONT color="green">239</FONT>            final Writer out = output.claim();<a name="line.239"></a>
<FONT color="green">240</FONT>            out.write("{ \"@\" : ");<a name="line.240"></a>
<FONT color="green">241</FONT>            writeStringTo(URL, out);<a name="line.241"></a>
<FONT color="green">242</FONT>            out.write(" }");<a name="line.242"></a>
<FONT color="green">243</FONT>            if (top) { out.write(newLine); }<a name="line.243"></a>
<FONT color="green">244</FONT>            written.mark();<a name="line.244"></a>
<FONT color="green">245</FONT>        }<a name="line.245"></a>
<FONT color="green">246</FONT>    <a name="line.246"></a>
<FONT color="green">247</FONT>        public void<a name="line.247"></a>
<FONT color="green">248</FONT>        writeNull() throws IOException {<a name="line.248"></a>
<FONT color="green">249</FONT>            writePrimitive("null");<a name="line.249"></a>
<FONT color="green">250</FONT>        }<a name="line.250"></a>
<FONT color="green">251</FONT>    <a name="line.251"></a>
<FONT color="green">252</FONT>        public void<a name="line.252"></a>
<FONT color="green">253</FONT>        writeBoolean(final boolean value) throws IOException {<a name="line.253"></a>
<FONT color="green">254</FONT>            writePrimitive(value ? "true" : "false");<a name="line.254"></a>
<FONT color="green">255</FONT>        }<a name="line.255"></a>
<FONT color="green">256</FONT>    <a name="line.256"></a>
<FONT color="green">257</FONT>        public void<a name="line.257"></a>
<FONT color="green">258</FONT>        writeInt(final int value) throws IOException {<a name="line.258"></a>
<FONT color="green">259</FONT>            writePrimitive(Integer.toString(value));<a name="line.259"></a>
<FONT color="green">260</FONT>        }<a name="line.260"></a>
<FONT color="green">261</FONT>        <a name="line.261"></a>
<FONT color="green">262</FONT>        /**<a name="line.262"></a>
<FONT color="green">263</FONT>         * maximum magnitude of a JavaScript number: {@value}<a name="line.263"></a>
<FONT color="green">264</FONT>         */<a name="line.264"></a>
<FONT color="green">265</FONT>        static public final long maxMagnitude = 1L &lt;&lt; 53;   // = 2^53<a name="line.265"></a>
<FONT color="green">266</FONT>        <a name="line.266"></a>
<FONT color="green">267</FONT>        /**<a name="line.267"></a>
<FONT color="green">268</FONT>         * Signals a number that cannot be represented in JavaScript.<a name="line.268"></a>
<FONT color="green">269</FONT>         */<a name="line.269"></a>
<FONT color="green">270</FONT>        static public final ArithmeticException NaN = new ArithmeticException();<a name="line.270"></a>
<FONT color="green">271</FONT>    <a name="line.271"></a>
<FONT color="green">272</FONT>        public void<a name="line.272"></a>
<FONT color="green">273</FONT>        writeLong(final long value) throws ArithmeticException, IOException {<a name="line.273"></a>
<FONT color="green">274</FONT>            if (value &gt; maxMagnitude) { throw NaN; }<a name="line.274"></a>
<FONT color="green">275</FONT>            if (value &lt; -maxMagnitude) { throw NaN; }<a name="line.275"></a>
<FONT color="green">276</FONT>    <a name="line.276"></a>
<FONT color="green">277</FONT>            writePrimitive(Long.toString(value));<a name="line.277"></a>
<FONT color="green">278</FONT>        }<a name="line.278"></a>
<FONT color="green">279</FONT>    <a name="line.279"></a>
<FONT color="green">280</FONT>        public void<a name="line.280"></a>
<FONT color="green">281</FONT>        writeFloat(final float value) throws ArithmeticException, IOException {<a name="line.281"></a>
<FONT color="green">282</FONT>            if (Float.isNaN(value)) { throw NaN; }<a name="line.282"></a>
<FONT color="green">283</FONT>            if (Float.isInfinite(value)) { throw NaN; }<a name="line.283"></a>
<FONT color="green">284</FONT>            <a name="line.284"></a>
<FONT color="green">285</FONT>            writePrimitive(Float.toString(value));<a name="line.285"></a>
<FONT color="green">286</FONT>        }<a name="line.286"></a>
<FONT color="green">287</FONT>    <a name="line.287"></a>
<FONT color="green">288</FONT>        public void<a name="line.288"></a>
<FONT color="green">289</FONT>        writeDouble(final double value) throws ArithmeticException, IOException {<a name="line.289"></a>
<FONT color="green">290</FONT>            if (Double.isNaN(value)) { throw NaN; }<a name="line.290"></a>
<FONT color="green">291</FONT>            if (Double.isInfinite(value)) { throw NaN; }<a name="line.291"></a>
<FONT color="green">292</FONT>            <a name="line.292"></a>
<FONT color="green">293</FONT>            writePrimitive(Double.toString(value));<a name="line.293"></a>
<FONT color="green">294</FONT>        }<a name="line.294"></a>
<FONT color="green">295</FONT>        <a name="line.295"></a>
<FONT color="green">296</FONT>        private void<a name="line.296"></a>
<FONT color="green">297</FONT>        writePrimitive(final String value) throws IOException {<a name="line.297"></a>
<FONT color="green">298</FONT>            final Writer out = output.claim();<a name="line.298"></a>
<FONT color="green">299</FONT>            if (top) {<a name="line.299"></a>
<FONT color="green">300</FONT>                out.write("{ \"=\" : ");<a name="line.300"></a>
<FONT color="green">301</FONT>                out.write(value);<a name="line.301"></a>
<FONT color="green">302</FONT>                out.write(" }");<a name="line.302"></a>
<FONT color="green">303</FONT>                out.write(newLine);<a name="line.303"></a>
<FONT color="green">304</FONT>            } else {<a name="line.304"></a>
<FONT color="green">305</FONT>                out.write(value);<a name="line.305"></a>
<FONT color="green">306</FONT>            }<a name="line.306"></a>
<FONT color="green">307</FONT>            written.mark();<a name="line.307"></a>
<FONT color="green">308</FONT>        }<a name="line.308"></a>
<FONT color="green">309</FONT>    <a name="line.309"></a>
<FONT color="green">310</FONT>        public void<a name="line.310"></a>
<FONT color="green">311</FONT>        writeString(final String value) throws IOException {<a name="line.311"></a>
<FONT color="green">312</FONT>            final Writer out = output.claim();<a name="line.312"></a>
<FONT color="green">313</FONT>            if (top) {<a name="line.313"></a>
<FONT color="green">314</FONT>                out.write("{ \"=\" : ");<a name="line.314"></a>
<FONT color="green">315</FONT>                writeStringTo(value, out);<a name="line.315"></a>
<FONT color="green">316</FONT>                out.write(" }");<a name="line.316"></a>
<FONT color="green">317</FONT>                out.write(newLine);<a name="line.317"></a>
<FONT color="green">318</FONT>            } else {<a name="line.318"></a>
<FONT color="green">319</FONT>                writeStringTo(value, out);<a name="line.319"></a>
<FONT color="green">320</FONT>            }<a name="line.320"></a>
<FONT color="green">321</FONT>            written.mark();<a name="line.321"></a>
<FONT color="green">322</FONT>        }<a name="line.322"></a>
<FONT color="green">323</FONT>    <a name="line.323"></a>
<FONT color="green">324</FONT>        static protected void<a name="line.324"></a>
<FONT color="green">325</FONT>        writeStringTo(final String value, final Writer out) throws IOException {<a name="line.325"></a>
<FONT color="green">326</FONT>            out.write('\"');<a name="line.326"></a>
<FONT color="green">327</FONT>            char previous = '\0';<a name="line.327"></a>
<FONT color="green">328</FONT>            final int len = value.length();<a name="line.328"></a>
<FONT color="green">329</FONT>            for (int i = 0; i != len; ++i) {<a name="line.329"></a>
<FONT color="green">330</FONT>                final char c = value.charAt(i);<a name="line.330"></a>
<FONT color="green">331</FONT>                switch (c) {<a name="line.331"></a>
<FONT color="green">332</FONT>                case '\"':<a name="line.332"></a>
<FONT color="green">333</FONT>                    out.write("\\\"");<a name="line.333"></a>
<FONT color="green">334</FONT>                    break;<a name="line.334"></a>
<FONT color="green">335</FONT>                case '\\':<a name="line.335"></a>
<FONT color="green">336</FONT>                    out.write("\\\\");<a name="line.336"></a>
<FONT color="green">337</FONT>                    break;<a name="line.337"></a>
<FONT color="green">338</FONT>                case '\b':<a name="line.338"></a>
<FONT color="green">339</FONT>                    out.write("\\b");<a name="line.339"></a>
<FONT color="green">340</FONT>                    break;<a name="line.340"></a>
<FONT color="green">341</FONT>                case '\f':<a name="line.341"></a>
<FONT color="green">342</FONT>                    out.write("\\f");<a name="line.342"></a>
<FONT color="green">343</FONT>                    break;<a name="line.343"></a>
<FONT color="green">344</FONT>                case '\n':<a name="line.344"></a>
<FONT color="green">345</FONT>                    out.write("\\n");<a name="line.345"></a>
<FONT color="green">346</FONT>                    break;<a name="line.346"></a>
<FONT color="green">347</FONT>                case '\r':<a name="line.347"></a>
<FONT color="green">348</FONT>                    out.write("\\r");<a name="line.348"></a>
<FONT color="green">349</FONT>                    break;<a name="line.349"></a>
<FONT color="green">350</FONT>                case '\t':<a name="line.350"></a>
<FONT color="green">351</FONT>                    out.write("\\t");<a name="line.351"></a>
<FONT color="green">352</FONT>                    break;<a name="line.352"></a>
<FONT color="green">353</FONT>                // begin: HTML escaping<a name="line.353"></a>
<FONT color="green">354</FONT>                case '/':<a name="line.354"></a>
<FONT color="green">355</FONT>                    if ('&lt;' == previous) { out.write('\\'); }<a name="line.355"></a>
<FONT color="green">356</FONT>                    out.write(c);<a name="line.356"></a>
<FONT color="green">357</FONT>                    break;<a name="line.357"></a>
<FONT color="green">358</FONT>                // need at least the above check, but paranoia demands more<a name="line.358"></a>
<FONT color="green">359</FONT>                case '&lt;':<a name="line.359"></a>
<FONT color="green">360</FONT>                    out.write("\\u003C");<a name="line.360"></a>
<FONT color="green">361</FONT>                    break;<a name="line.361"></a>
<FONT color="green">362</FONT>                case '&gt;':<a name="line.362"></a>
<FONT color="green">363</FONT>                    out.write("\\u003E");<a name="line.363"></a>
<FONT color="green">364</FONT>                    break;<a name="line.364"></a>
<FONT color="green">365</FONT>                // end: HTML escaping<a name="line.365"></a>
<FONT color="green">366</FONT>                case ' ':<a name="line.366"></a>
<FONT color="green">367</FONT>                    out.write(c);<a name="line.367"></a>
<FONT color="green">368</FONT>                    break;<a name="line.368"></a>
<FONT color="green">369</FONT>                default:<a name="line.369"></a>
<FONT color="green">370</FONT>                    switch (Character.getType(c)) {<a name="line.370"></a>
<FONT color="green">371</FONT>                    case Character.UPPERCASE_LETTER:<a name="line.371"></a>
<FONT color="green">372</FONT>                    case Character.LOWERCASE_LETTER:<a name="line.372"></a>
<FONT color="green">373</FONT>                    case Character.TITLECASE_LETTER:<a name="line.373"></a>
<FONT color="green">374</FONT>                    case Character.MODIFIER_LETTER:<a name="line.374"></a>
<FONT color="green">375</FONT>                    case Character.OTHER_LETTER:<a name="line.375"></a>
<FONT color="green">376</FONT>                    case Character.NON_SPACING_MARK:<a name="line.376"></a>
<FONT color="green">377</FONT>                    case Character.ENCLOSING_MARK:<a name="line.377"></a>
<FONT color="green">378</FONT>                    case Character.COMBINING_SPACING_MARK:<a name="line.378"></a>
<FONT color="green">379</FONT>                    case Character.DECIMAL_DIGIT_NUMBER:<a name="line.379"></a>
<FONT color="green">380</FONT>                    case Character.LETTER_NUMBER:<a name="line.380"></a>
<FONT color="green">381</FONT>                    case Character.OTHER_NUMBER:<a name="line.381"></a>
<FONT color="green">382</FONT>                    case Character.DASH_PUNCTUATION:<a name="line.382"></a>
<FONT color="green">383</FONT>                    case Character.START_PUNCTUATION:<a name="line.383"></a>
<FONT color="green">384</FONT>                    case Character.END_PUNCTUATION:<a name="line.384"></a>
<FONT color="green">385</FONT>                    case Character.CONNECTOR_PUNCTUATION:<a name="line.385"></a>
<FONT color="green">386</FONT>                    case Character.OTHER_PUNCTUATION:<a name="line.386"></a>
<FONT color="green">387</FONT>                    case Character.MATH_SYMBOL:<a name="line.387"></a>
<FONT color="green">388</FONT>                    case Character.CURRENCY_SYMBOL:<a name="line.388"></a>
<FONT color="green">389</FONT>                    case Character.MODIFIER_SYMBOL:<a name="line.389"></a>
<FONT color="green">390</FONT>                    case Character.INITIAL_QUOTE_PUNCTUATION:<a name="line.390"></a>
<FONT color="green">391</FONT>                    case Character.FINAL_QUOTE_PUNCTUATION:<a name="line.391"></a>
<FONT color="green">392</FONT>                        out.write(c);<a name="line.392"></a>
<FONT color="green">393</FONT>                        break;<a name="line.393"></a>
<FONT color="green">394</FONT>                    case Character.UNASSIGNED:<a name="line.394"></a>
<FONT color="green">395</FONT>                    case Character.SPACE_SEPARATOR:<a name="line.395"></a>
<FONT color="green">396</FONT>                    case Character.LINE_SEPARATOR:<a name="line.396"></a>
<FONT color="green">397</FONT>                    case Character.PARAGRAPH_SEPARATOR:<a name="line.397"></a>
<FONT color="green">398</FONT>                    case Character.CONTROL:                 // includes '\u0085'<a name="line.398"></a>
<FONT color="green">399</FONT>                    case Character.FORMAT:<a name="line.399"></a>
<FONT color="green">400</FONT>                    case Character.PRIVATE_USE:<a name="line.400"></a>
<FONT color="green">401</FONT>                    case Character.SURROGATE:<a name="line.401"></a>
<FONT color="green">402</FONT>                    case Character.OTHER_SYMBOL:<a name="line.402"></a>
<FONT color="green">403</FONT>                    default:<a name="line.403"></a>
<FONT color="green">404</FONT>                        out.write("\\u");<a name="line.404"></a>
<FONT color="green">405</FONT>                        final int unicode = c;<a name="line.405"></a>
<FONT color="green">406</FONT>                        for (int shift = Character.SIZE; 0 != shift;) {<a name="line.406"></a>
<FONT color="green">407</FONT>                            shift -= 4;<a name="line.407"></a>
<FONT color="green">408</FONT>                            final int hex = (unicode &gt;&gt; shift) &amp; 0x0F;<a name="line.408"></a>
<FONT color="green">409</FONT>                            out.write(hex &lt; 10 ? '0' + hex : 'A' + (hex - 10));<a name="line.409"></a>
<FONT color="green">410</FONT>                        }<a name="line.410"></a>
<FONT color="green">411</FONT>                    }<a name="line.411"></a>
<FONT color="green">412</FONT>                }<a name="line.412"></a>
<FONT color="green">413</FONT>                previous = c;<a name="line.413"></a>
<FONT color="green">414</FONT>            }<a name="line.414"></a>
<FONT color="green">415</FONT>            out.write('\"');<a name="line.415"></a>
<FONT color="green">416</FONT>        }<a name="line.416"></a>
<FONT color="green">417</FONT>    }<a name="line.417"></a>




























































</PRE>
</BODY>
</HTML>
